1. A computer and communications network performance analysis primer
پدیدآورنده : Stuck, B. W.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Evaluation ، Electronic digital computers,Evaluation ، Computer networks
رده :
QA
76
.
9
.
E94
S78
1985
2. <A> programmer's introduction to computer systems: hardware and software
پدیدآورنده : John Graham, Roger Loader
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers,Computer software
رده :
QA
،
76
.
5
،.
G6574
،
1989
3. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
4. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
پدیدآورنده : edited by D. Bjorner
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
5. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
6. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : edited by Peter J.L. Wallis
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
180
7. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
پدیدآورنده : Ada Software Tools Interfaces Workshop )3891: Bath, England(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
73
.
A35
.
A34
1983
8. Advanced course on software Engineering munich 1971. Soptware engineering: an advanced course
پدیدآورنده : F.L.Baver... )et al( edited by F.L.Bover
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Electronic digital computers - programming - congresses,، Programming language )Electronic computers( - congresses
رده :
QA
76
.
6
.
A33
1975
9. An introduction to engineered software
پدیدآورنده : Gillett, Will D
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
G554
1982
10. An introduction to software physics:the meaning of computer
پدیدآورنده : KOLENCE,KENNETH W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER SOFTWARE
رده :
QA
76
.
6
.
K645
1985
11. Applications software programming with fourth - generation languages
پدیدآورنده : W. Gregory Wojtkowski, Wita Wojtkowski
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Programming language (Electronic computers),Electronic digital computers - Programming,NOMAD (computer program)
رده :
QA
,
76
.
7
,.
W64
,
1990
12. Arithmetic optimization techniques for hardware and software design
پدیدآورنده : Kastner, Ryan.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer arithmetic,Design and construction ، Electronic digital computers,Development ، Computer software,، Mathematical optimization
رده :
QA
76
.
9
.
C62
K37
2010
13. Arithmetic optimization techniques for hardware and software design
پدیدآورنده : Kastner, Ryan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer arithmetic,Design and construction ، Electronic digital computers,، Computer software -- Development,، Mathematical optimization
رده :
QA
76
.
9
.
C62K37
14. COMPUTER SOFTWARE PROGRAMMING SYSTEMS FOR DIGITAL COMPUTERS
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
،
76
.
5
،.
F455
15. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
16. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
17. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
19. Computer-aided verification
پدیدآورنده :
موضوع : Computer software-Verification,Electronic digital computers - Evaluation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663